81. Modeling and verification of real-time systems : formalisms and software tools
پدیدآورنده : edited by Stephan Merz, Nicolas Navet
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Real-time data processing,، Computer software -- Verification,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M633
82. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده : edited by Nicolas Navet, Stephan Merz
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
83. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
پدیدآورنده : Muller-Olm, Markus
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Compilers )Computer programs(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1283
84. NASA formal methods :
پدیدآورنده : Alwyn E. Goodloe, Suzette Person (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
رده :
QA76
.
9
.
F67
N46
2012eb
85. Numerical software verification :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification ; Congresses. ;
86. Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24 2003 : revised papers
پدیدآورنده : Rene Alt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer propgrams -- Congresses ، Numerical analysis,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2991
87. Open source identity management patterns and practices using openAM 10.x
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- Verification,Identification-- Computer programs,Online identities,Open source software
رده :
GN192
K466564
2013
88. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده : Godefroid, Patrice
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
89. Principles of model checking
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer systems ; Verification. ; Computer software ; Verification. ;
90. Program logics for certified compilers /
پدیدآورنده : Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
91. Program verification /
پدیدآورنده : Francez Nissim
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification
رده :
QA76
.
76
.
V47
F73
1992
92. Program verification
پدیدآورنده : Francez, Nissim.
موضوع : ، Computer software-- Verification
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
93. #Program verification
پدیدآورنده : #edited by T. R. Colburn, J. H. Fetzer, and T. L. Rankin
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Computer software- Verification
رده :
#
QA
،#.
V47
,
P76
94. Rigorous software development :
پدیدآورنده : José Bacelar Almeida [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
رده :
QA76
.
76
.
V47
R54
2011
95. Rigorous software development
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Verification. ; Computer software ; Development. ;
96. Rigorous software development an introduction to program verification
پدیدآورنده : Josae Bacelar Almeida ... ]et al.[
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer software, Verification,، Computer software, Development
رده :
QA
76
.
76
.
V47
R54
2011
97. Rigorous software development : an introduction to program verification
پدیدآورنده : Josف Bacelar Almeida ... ]et al.[
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Verification ، Computer software,Development ، Computer software
رده :
QA
76
.
76
.
V47
R54
2011
98. Rigorous software development : an introduction to program verification
پدیدآورنده : Jose Bacelar Almeida ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification,، Computer software -- Development
رده :
QA
76
.
76
.
V47R5
99. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,